161. Computational methods in field theory
Author: H. Gausterer, C.B. Lang )eds.(
Library: Vali Asr University Central Library (Kerman)
Subject: Field theory )Physics( -- Statistical methods -- Congresses,Numerical analysis -- Congresses
Classification :
QC
173
.
65
.
C6
1992
162. Computational methods in field theory; Proceedings of the 31.Internationale Universitatswochen fur Kern- und Teilchenphysik,Schladming,Austria, February 1992
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Field theory )Physics(-- Statistical methods-- Congresses,، Numerical analysis-- Congresses
Classification :
QC
173
.
68
.
I59
1992
163. Computational methods in field theory : proceedings of the 31. Internationale Universitatswochen fur Kern- und Teilchenphysik, Schladming, Austria, February 1992
Author: H. Gausterer, C.B. Lang )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Statistical methods - Congresses ، Field theory )Physics(,Congresses ، Numerical analysis
Classification :
QC
1
.
L4
v
.
409
164. Computational methods in field theory : proceedings of the 31. Internationale Universitatswochen fur Kern-und Teilchenphysik, Schladming, Austria, February, 1992
Author: H. Gausterer, C.B. Lang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Statistical methods -- Congresses ، Field theory )Physics(,Congresses ، Numerical analysis
Classification :
QC
3
.
L28
Vol
.
409
165. Computational methods in nonlinear structural and solid mechanics papers presented at the Symposium on Computational Methods in Nonlinear Structural and Solid Mechanics, held 6-8 October 1980, Washington, D.C.
Author: editors, Ahmed K. Noor and Harvey G. McComb, Jr
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Structures, Theory of -- Congresses,، Structures, Theory of -- Data processing -- Congresses,، Nonlinear mechanics -- Congresses,، Numerical analysis -- Congresses
Classification :
TA
640
.
S95
1980
166. Computational science for the 21st century
Author: edited by M-O. Bristeau ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Numerical analysis, Congresses.
167. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
168. Computer Arithmetic and self-Validating Numerical Methoods
Author: / edited by Christian Ullrich
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer Arithmetic congresses,Numerical Analysis congresses
Classification :
QA
76
.
9
.
C62C663
1990
169. Computer Simulation in Chemical Physics
Author: edited by M.P. Allen, D.J. Tildesley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry, Physical and theoretical -- Computer simulation -- Congresses.,Molecular dynamics -- Computer simulation -- Congresses.,Monte Carlo method -- Congresses.
170. Computer aided analysis and optimization of mechanical system dynamics
Author: edited by Edward J. Haug.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Dynamics -- Data processing -- Congresses.,Dynamics -- Data processing.,Machinery, Dynamics of -- Data processing -- Congresses.
Classification :
TJ173
.
E358
1984
171. Computer-aided design, manufacturing, modeling and simulation :
Author: edited by Xingui He [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer integrated manufacturing systems -- Congresses.,Computer-aided design -- Congresses.,Intelligent control systems -- Congresses.
Classification :
TA174
.
E358
2011
172. Computer aided proofo in analysis
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Numerical analysis- Data processing- Congresses
Classification :
C738
173. Computer aided proofs in analysis
Author: / Kenneth R. Meyer, Dieter S. Schmidt, editors
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Numerical analysis - Data processing - Congresses
Classification :
QA297
.
C638
1990
174. Computer aided proofs in analysis
Author: / Kenneth R. Meyer S. Schmidt, Editors
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Numerical analysis-Data processing-Congresses
Classification :
QA297
.
C638
1990
175. Computer aided proofs in analysis
Author: Kenneth R. Meyer, Dieter S. Schmidt, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Numerical analysis
Classification :
QA
297
.
C638
1991
176. Computer aided proofs in analysis
Author: Kenneth R.Meyer,Dieter S.Schmidt editors
Library: Vali Asr University Central Library (Kerman)
Subject: Numerical analysis-data processing-congresses
Classification :
QA
297
.
C638
177. Computer aided proofs in analysis
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Numerical analysis-- Data processing-- Congresses
Classification :
QA
297
.
C638
1991
178. Computer aided proofs in analysis
Author: Kenneth R. Meyer, Dieter S. Schmidt, editors
Library: Central Library and Documentation Center (Kerman)
Subject: Data processing - Congresses ، Numerical analysis
Classification :
QA
1
.
I52
v
.
28
179. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
180. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
